f0a355d4a63c94352ec231d642f5cdf836986eb3,src/test/uniol/apt/analysis/coverability/CoverabilityGraphTest.java,CoverabilityGraphTest,testEmptyNet,#,163

Before Change


	@Test
	public void testEmptyNet() {
		PetriNet pn = getEmptyNet();
		Marking initialMark = new Marking(pn.getInitialMarking());

		CoverabilityGraph cov = CoverabilityGraph.get(pn);

After Change


	@Test
	public void testEmptyNet() {
		PetriNet pn = getEmptyNet();
		Marking initialMark = pn.getInitialMarking();

		CoverabilityGraph cov = CoverabilityGraph.get(pn);